Possible(R;es) == R-Feasible(R) & (w:World, p:FairFifo. PossibleWorld([[R]];w) & es = ES(w)) 

latex

---

clarification:

R-possible{i:l}
R-possible(R; es)
== R-Feasible{i:l}
== R-Feasible(R)
== & (w:world{i:l}, p:fair-fifo{i:l}(w).
== & (possible-world{i:l}([[R]]; w) & es = w-es{i:l}(w; p)  ES{i}) 

latex

Definitions	A & B, R-Feasible(R), World, x:A. B(x), FairFifo, P & Q, PossibleWorld(D;w), [[R]], s = t, ES, ES(the_w)
FDL editor aliases	R-possible